Definition of TOC and Formal Language